02500	OP
02600	←(V1,A1)
02700	NIL
02800	NIL
02900	NIL
03000	ISVAR(V1);;
03100	C(V1,A1);;
03200	
03300	
03310	ITERATIVE
03320	TUNIFY
03330	NIL
03340	NIL
03350	NIL
03360	NEWVAR(V7);NEWVAR(V8);NEWVAR(V12);NEWVAR(V13);VUNIFY(V4,V5,V6);C(V3,V4);C(V7,V5);C(V8,V6);
03365	  C(V12,V1);C(V13,V2);;
03370	C(V3,V9);C(V7,V10);C(V8,V11);VUNIFY(V9,V10,V11);;
03380	C(V7, CONS*(V7, CAR*(V12)));C(V8,CONS*(V8, CAR*(V12)));
03385	C(V12, CDR*(V12));C(V12, CDR*(V12)); CUNIFY1(V3,V9,UNIFY1(V9,V12,V13));;
03390	=(V12 NIL);;
03400	UNIFY(V3 V1 V2);;
03410	CUNIFY(V3 V1 V2);;
03420	
03700	
04550	NIL
04700	NIL
04800	
04900	ISVAR(Z);VUNIFY(NIL,NIL,NIL);;
05000	
05100	T
05200	
05600	((C T NIL NIL (X,*))
05731	(= T NIL NIL NIL)
05733	(CUNIFY T NIL NIL NIL )
05735	(CUNIFY1 T NIL NIL NIL)
05737	(VUNIFY T NIL NIL NIL)
05738	(UNIFY T NIL NIL NIL))
05741	
05760	
06100	
06200	T
06300	
06400	((ADD1(X)( /( X /+ 1 /) ))
06450	(SUB1(X)( /( X /- 1 /) ))
06500	(PLUS(X Y)( /( X /+ Y /) ))  )
06600